1

Information Theory

Year:
1964
Language:
english
File:
PDF, 1.32 MB
english, 1964
2

The Present Theory of Turing Machine Computability

Year:
1959
Language:
english
File:
PDF, 1.55 MB
english, 1959
3

Gödel Numberings of Partial Recursive Functions

Year:
1958
Language:
english
File:
PDF, 1.24 MB
english, 1958
4

The Euclidean algorithm as a means of simplifying fractions

Year:
1970
Language:
english
File:
PDF, 833 KB
english, 1970
5

An Example in Mathematical Logic

Year:
1963
Language:
english
File:
PDF, 1.46 MB
english, 1963
6

Certain Logical Reduction and Decision Problems

Year:
1956
Language:
english
File:
PDF, 1.58 MB
english, 1956
7

The Future of the University in Mathematics Education

Year:
1975
Language:
english
File:
PDF, 996 KB
english, 1975
8

A General Education Course In Pure Mathematics

Year:
1956
Language:
english
File:
PDF, 675 KB
english, 1956
9

Godel's Proof.by E. Nagel; J. R. Newman

Year:
1960
Language:
english
File:
PDF, 338 KB
english, 1960
10

Mathematische Logikby H. Hermes; H. Scholz

Year:
1954
Language:
english
File:
PDF, 257 KB
english, 1954
12

Introduction to Symbolic Logic.by A. H. Basson; C. J. O'Connor

Year:
1961
Language:
english
File:
PDF, 224 KB
english, 1961
13

The Present Theory of Turing Machine Computability

Year:
1959
Language:
english
File:
PDF, 2.09 MB
english, 1959
14

On Universal Functions

Year:
1965
Language:
english
File:
PDF, 177 KB
english, 1965
15

A Note on the Law of Large Numbers

Year:
1957
Language:
english
File:
PDF, 146 KB
english, 1957
16

Open Sentences and the Inducation Axiomby J. R. Shoenfield

Year:
1962
Language:
english
File:
PDF, 128 KB
english, 1962
19

Recursive Functions Over Well Ordered Partial Orderings

Year:
1959
Language:
english
File:
PDF, 222 KB
english, 1959
21

In memoriam

Year:
1976
File:
PDF, 31 KB
1976
22

Reducibility and Completeness for Sets of Integers

Year:
1959
Language:
english
File:
PDF, 574 KB
english, 1959
24

On Provable Recursive Functions.by H. B. Enderton

Year:
1973
Language:
english
File:
PDF, 117 KB
english, 1973
27

Recursively Enumerable Sets and Retracting Functionsby C. E. M. Yates

Year:
1967
Language:
english
File:
PDF, 206 KB
english, 1967
30

Three Theorems on the Degrees of Recursively Enumerable Setsby C. E. M. Yates

Year:
1967
Language:
english
File:
PDF, 348 KB
english, 1967
33

The Undecidability of Exponential Diophantine Equationsby Julia Robinson

Year:
1970
Language:
english
File:
PDF, 232 KB
english, 1970
34

Undecidability of Some Topological Theoriesby Andrzej Grzegorczyk

Year:
1953
Language:
english
File:
PDF, 350 KB
english, 1953